Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
301	Exploring Big Data in Social Networks () INWEB – National Science and Technology Institute for Web Federal University of Minas Gerais - UFMG Add to Reading List Source URL: wic.litislab.fr Language: English - Date: 2013-12-09 08:25:59 Formal sciences Big data Cloud computing Data mining Machine learning Algorithm Analytics Network and service management taxonomy Industrial Big Data
302	Course Guide PHIL10072: Themes in Epistemology Course Organiser: Martin Smith () Add to Reading List Source URL: www.philosophy.ed.ac.uk Language: English - Date: 2016-01-06 09:30:27 Epistemology Philosophy of science Justification Epistemologists American philosophers Relevant alternatives theory Contextualism Philosophy Formal epistemology Experimental philosophy Pragmatism Metaphysics
303	17 Econometric Modeling as Junk Science Add to Reading List Source URL: crab.rutgers.edu Language: English - Date: 2002-03-10 15:37:58 Econometrics Statistical methods Formal sciences More Guns Less Crime Regression analysis John Lott Right-to-carry law Regression Statistics Economic data Gun control Multivariate analysis
304	Vol. 6, NoISSNonline Add to Reading List Source URL: www.todos-math.org Language: English - Date: 2015-08-16 11:44:01 Philosophy of mathematics Theoretical computer science Mathematics English-language learner Language of mathematics Semiotics Formal language
305	Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science Failure Materials science Reliability engineering Survival analysis DO-178B Exception handling Formal verification Software development process KeY Software development
306	An Ontological Representation of Situational Awareness from Sensor Data Ron Rudnick and Jim Schoening CUBRC, Buffalo, NY, USA Abstract Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Information science Technical communication Knowledge representation Formal ontology Situation awareness Philosophy of perception Object
307	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
308	Microsoft Word - Post-Silicon Debug__30__group__.doc Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:45 Theoretical computer science Formal methods Integrated circuits Logic in computer science Computer memory Formal verification Waypoint Debugging Application-specific integrated circuit Dynamic random-access memory Error Model checking
309	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
310	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification

UPDATE